let $x$,$y$,$z$ = $a$ in $t$($x$;$y$;$z$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $x$,${\it zz}$ = $a$ in let $y$,$z$ = ${\it zz}$ in $t$($x$;$y$;$z$)